Theorem proving in higher order logics - 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings
- Författare
- Malcolm Charles Newey Jim Grundy International Conference on Theorem Proving in Higher Order Logics 1998) Canberra :
- (Jim Grundy, Malcolm Newey, eds.)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1998 | Tyskland, Berlin | 496 sidor. |